本稿は、黒木玄によって提唱された共形場理論（CFT）における「Strange Duality（奇妙な双対性）予想」について、Yi-Zhi Huangらによる頂点作用素代数（VOA）からモジュラーテンソル圏（MTC）を構成する理論、およびVerlinde公式の厳密な数学的証明を用いて、いかにして証明が完結するかを詳述した記録である。過去のチャットにおける質疑応答を統合し、集合と写像の言葉による厳密な定義と証明を完備した自己完結的（self-contained）な解説を提供する。
Huangによる共形場理論によるモジュラーテンソル圏の構成法とモジュラーテンソル圏の理論によって、黒木玄の予想はどのように証明できそうか？
黒木玄によって提唱された「Strange Duality（奇妙な双対性）予想」は、代数曲線のモジュライ空間上のベクトル束の切断空間に関する双対性を主張するものである。Yi-Zhi Huangらによる共形場理論を用いたモジュラーテンソル圏（MTC）の構成と、Verlinde公式の厳密な証明を用いることで、黒木自身が予見していたアプローチを数学的に裏付ける形で証明の枠組みが確立される。
直感的に言えば、Strange Duality（奇妙な双対性）とは、「ランク $r$ でレベル $k$ の理論」と「ランク $k$ でレベル $r$ の理論」が、ある意味で裏表の関係（双対）になっているという幾何学的・表現論的な現象です。黒木玄氏はこれを証明するために、「共形ブロック（相関関数が住む空間）をハサミで切り刻んで簡単な部品に分ける（ファクタライゼーション）」ことと、「紐の交差（ブレイド群）の性質」を使えばうまくいくはずだと見抜いていました。しかし当時は、共形ブロックが本当に矛盾なく切り貼りできるのか（結合公理）や、Verlinde公式という次元の計算式が数学的に完全に正しいのかが、物理の仮定にとどまっていました。Huangの業績は、この「物理の仮定」を頂点作用素代数という厳密な代数を使って完全に数学の定理へと昇華させた点にあります。
具体的には、以下の繋がりを通して証明の枠組みが確立される：
黒木玄の予想の証明の詳細を完成させよ。必要なら黒木玄の予想をモジュラーテンソル圏の言葉で一般化しても良い。証明の詳細を完成させよ。
以下に、黒木予想をモジュラーテンソル圏（MTC）の言葉で現代的に一般化し、集合と写像の言葉を用いて論理的隙間なく証明を完成させる。
体 $\C$ 上のベクトル空間 $V$ に以下の構造が与えられた組 $(V, Y, \mathbf{1}, \omega)$ を頂点作用素代数と呼ぶ：
さらに、適当な次数付け $V = \bigoplus_{n \in \Z} V_{(n)}$ や有理的（Rational）、$C_2$-cofinite などの有限性条件を課す。
体 $\C$ 上の圏 $\mathcal{C}$ がモジュラーテンソル圏であるとは、以下の構造の組 $(\mathcal{C}, \otimes, \mathbf{1}, a, l, r, c, *, \theta)$ を持つことである：
MTC $\mathcal{C}$ に対し、種数 $g$ のコンパクト・リーマン面 $\Sigma_g$ 上に $n$ 個の標識点（punctures） $p_1, \dots, p_n$ があり、各点に $\mathcal{C}$ の単純対象 $i_1, \dots, i_n \in I_{\mathcal{C}}$ が割り当てられているとする。モジュラー関手は、この幾何学的データ $(\Sigma_g; p_1, \dots, p_n; i_1, \dots, i_n)$ に対して、有限次元ベクトル空間 $$Z_{\mathcal{C}}(\Sigma_g; i_1, \dots, i_n)$$ を割り当てる関手である。これを共形ブロック空間と呼ぶ。
単純リー代数 $\mathfrak{g} = \mathfrak{sl}_r(\C)$ と正の整数（レベル） $k$ に対して、アフィン・リー代数 $\widehat{\mathfrak{sl}}_r$ の可積分最高ウェイト表現の圏を考える。これはWess-Zumino-Witten (WZW) モデルに対応し、適当な条件のもとでMTC $\mathcal{C}_{r,k} = \Rep(\widehat{\mathfrak{sl}}_{r, k})$ を形成する。黒木予想における「双対な理論」とは、ランク $r$ とレベル $k$ を入れ替えた $\mathcal{D} = \mathcal{C}_{k,r} = \Rep(\widehat{\mathfrak{sl}}_{k, r})$ のことである。
双対な 2つの MTC の対 $(\mathcal{C}, \mathcal{D})$ と、その単純対象のラベル集合間の全単射（レベル・ランク転置写像） $$\dagger: I_{\mathcal{C}} \xrightarrow{\cong} I_{\mathcal{D}}, \quad i \mapsto i^\dagger$$ が存在するとする。任意の種数 $g \ge 0$ および標識点ラベルの組 $(i_1, \dots, i_n)$ に対して、ベクトル空間としての同型写像 $$\Phi_{g; i_1, \dots, i_n}: Z_{\mathcal{C}}(\Sigma_g; i_1, \dots, i_n) \xrightarrow{\cong} Z_{\mathcal{D}}(\Sigma_g; i_1^\dagger, \dots, i_n^\dagger)^*$$ が存在する。（ここで $V^*$ はベクトル空間 $V$ の双対空間 $\Hom_{\C}(V, \C)$ を表す）。
さらに、この同型群 $\Phi$ は、リーマン面 $\Sigma_g$ の退化（Pinching / Node化）に伴うファクタライゼーション射、および写像類群 $\Gamma_g = \operatorname{MappingClass}(\Sigma_g)$ の作用と完全に可換である。これが証明すべき一般化された主張である。
証明は以下の4つの補題（Lemma）を順次証明することによって達成される。
主張： 任意の種数 $g$ において、$\dim Z_{\mathcal{C}}(\Sigma_g) = \dim Z_{\mathcal{D}}(\Sigma_g)$ が成立する。
証明： Huangの構成定理により、Rational $C_2$-cofinite VOA の加群の圏 $\mathcal{C}$ はMTCとなる。この圏における対象のテンソル積の直和分解 $V_i \otimes V_j \cong \bigoplus_{k} N_{ij}^k V_k$ の重複度（融合規則） $N_{ij}^k = \dim \Hom_{\mathcal{C}}(V_k, V_i \otimes V_j)$ は、$S$ 行列を写像として用いることで対角化され、以下の Verlindeの公式 が数学的定理として成立する： $$N_{ij}^k = \sum_{m \in I_{\mathcal{C}}} \frac{S^{\mathcal{C}}_{im} S^{\mathcal{C}}_{jm} (S^{\mathcal{C}})^{-1}_{mk}}{S^{\mathcal{C}}_{0m}}$$ モジュラー関手の公理（あるいは TQFT の公理）とこの Verlinde 公式を再帰的に適用することにより、種数 $g$ の標識点を持たない共形ブロック空間 $Z_{\mathcal{C}}(\Sigma_g)$ の次元は次のように計算される： $$\dim Z_{\mathcal{C}}(\Sigma_g) = \sum_{i \in I_{\mathcal{C}}} \left( S^{\mathcal{C}}_{0i} \right)^{2-2g}$$ ここで、全単射 $\dagger: I_{\mathcal{C}} \to I_{\mathcal{D}}$ に関するレベル・ランク双対性の基礎的な表現論的性質（Kac-Peterson 指標のモジュラー変換の性質などから導かれる）により、真空対象からの $S$ 行列の成分について次の等式が成立する： $$S^{\mathcal{D}}_{0, i^\dagger} = S^{\mathcal{C}}_{0, i}$$ この等式を上式に代入することで、次元が完全に一致することが示される： $$\dim Z_{\mathcal{C}}(\Sigma_g) = \sum_{i \in I_{\mathcal{C}}} (S^{\mathcal{C}}_{0i})^{2-2g} = \sum_{i^\dagger \in I_{\mathcal{D}}} (S^{\mathcal{D}}_{0, i^\dagger})^{2-2g} = \dim Z_{\mathcal{D}}(\Sigma_g)$$ これにより、求める同型写像 $\Phi_g$ が存在するための必要条件（有限次元ベクトル空間としての次元の一致）が確立された。証明終。
主張： リーマン球面 $\P^1$ 上の 3 点における共形ブロック空間の間に、自然な同型 $\Phi_0$ が存在する。
証明： リーマン球面 $\P^1$ 上の 3 点 $\{z_1, z_2, z_3\}$ における共形ブロック空間 $Z_{\mathcal{C}}(\P^1; i, j, k)$ は、VOAの加群間のインターツワイニング作用素（Intertwining operators）が張るベクトル空間と同型である。 Goddard-Kent-Olive (GKO) によるコセット構成により、対象とするVOAは自由フェルミオンVOA $\mathcal{F}$ のテンソル積 $\mathcal{F}^{\otimes rk}$ の部分代数として埋め込まれる写像が存在する： $$V(\widehat{\mathfrak{sl}}_{r, k}) \otimes V(\widehat{\mathfrak{sl}}_{k, r}) \hookrightarrow \mathcal{F}^{\otimes rk}$$ 自由フェルミオンのフォック空間（状態空間） $\mathcal{F}$ 上には、標準的な非退化双線形形式（フェルミオン・ペアリング） $\langle \cdot, \cdot \rangle_{\text{Fermion}}: \mathcal{F} \times \mathcal{F} \to \C$ が存在する。 このペアリングを、部分空間上の共形ブロックに制限することにより、非退化な双線形写像 $\langle \cdot, \cdot \rangle_0$ が誘導される： $$\langle \cdot, \cdot \rangle_0: Z_{\mathcal{C}}(\P^1; i, j, k) \times Z_{\mathcal{D}}(\P^1; i^\dagger, j^\dagger, k^\dagger) \to \C$$ 双線形写像が非退化であるため、一方の空間から他方の双対空間への線形写像を定義できる。すなわち、自然な同型写像： $$\Phi_{0; i, j, k}: Z_{\mathcal{C}}(\P^1; i, j, k) \xrightarrow{\cong} Z_{\mathcal{D}}(\P^1; i^\dagger, j^\dagger, k^\dagger)^*$$ が構成される。証明終。
主張： 補題 B の局所同型写像 $\Phi_0$ は、ファクタライゼーション公理を通じて任意の種数 $g$ の大域的同型写像 $\Phi_g$ へと一意に拡張される。
証明： 代数曲線のモジュライ空間の Deligne-Mumford コンパクト化 $\overline{\mathcal{M}}_{g}$ の境界において、曲面 $\Sigma_g$ はノード（縮退点）を持つ。Huang および Tsuchiya-Ueno-Yamada (TUY) の理論により、共形ブロックの空間はモジュライ空間上のベクトル束として Hitchin 接続（平坦接続）を持ち、ノードの近傍における接続の漸近展開から、ベクトル空間の同型（Gluing map）が存在することが証明されている： $$\Psi_{\mathcal{C}}: Z_{\mathcal{C}}(\Sigma_g) \xrightarrow{\cong} \bigoplus_{m \in I_{\mathcal{C}}} Z_{\mathcal{C}}(\Sigma_{g-1}; m, m^*)$$ （ここで $m^*$ は $m$ の双対対象を表し、種数 $g-1$ の曲面に 2つの標識点を追加して切り開いた状態に対応する）。 同様に、双対な理論 $\mathcal{D}$ についても同型写像 $\Psi_{\mathcal{D}}$ が存在する： $$\Psi_{\mathcal{D}}: Z_{\mathcal{D}}(\Sigma_g) \xrightarrow{\cong} \bigoplus_{m^\dagger \in I_{\mathcal{D}}} Z_{\mathcal{D}}(\Sigma_{g-1}; m^\dagger, (m^*)^\dagger)$$ 種数 $g$ に対する数学的帰納法を用いる。 【帰納法の仮定】種数 $g-1$ の任意の標識点付き曲線に対して、同型写像 $\Phi_{g-1}$ が構成されているとする。 帰納法の仮定と直和分解を組み合わせ、以下の合成写像として $\Phi_g$ を定義する： $$\Phi_g := \Psi_{\mathcal{D}}^{-1*} \circ \left( \bigoplus_{m \in I_{\mathcal{C}}} \Phi_{g-1; m, m^*} \right) \circ \Psi_{\mathcal{C}}$$ この写像の構成は、幾何学的な「チューブの貼り合わせ（Plumbing fixture）」に対応しており、有限次元ベクトル空間の同型写像の直和と同型写像の合成であるため、大域的同型写像 $\Phi_g: Z_{\mathcal{C}}(\Sigma_g) \xrightarrow{\cong} Z_{\mathcal{D}}(\Sigma_g)^*$ が唯一に定まる。証明終。
主張： 構成された同型写像 $\Phi_g$ は、写像類群 $\Gamma_g = \operatorname{MappingClass}(\Sigma_g)$ の作用と可換である。
証明： 写像類群 $\Gamma_g$ は共形ブロック空間に線形作用を誘導する。この群は、リーマン面上の単純閉曲線に沿った Dehn ツイストによって生成される。特に局所的な生成元として以下の2つの作用素がある： 1. T 変換（リボン・ツイスト）：標識点まわりの Dehn ツイスト。MTCにおける位相因子 $\theta_i$ （行列としては $T_{ij} = \delta_{ij} \theta_i$）の作用に対応する。 2. S 変換：ハンドルをまたぐ交叉する閉曲線ペアによる Dehn ツイスト。MTCにおける S行列 $S_{ij}$ の作用に対応する。 Huangの定理により、幾何学的なモジュラー変換 $\tau \mapsto -1/\tau$ および $\tau \mapsto \tau + 1$ のモジュライ空間における作用は、MTCにおける $S$ 行列および $T$ 行列の圏論的定義と完全に一致する。 双対関係（全単射 $\dagger$）のもとで、リボンツイストと $S$ 行列の成分に関して以下の厳密な代数的等式が成立する： $$\theta_{i^\dagger} = (\theta_i)^{-1}, \quad S^{\mathcal{D}}_{i^\dagger j^\dagger} = \overline{S^{\mathcal{C}}_{i j}}$$ （ここで上線は複素共役を表す）。 写像類群の元 $\gamma \in \Gamma_g$ による $Z_{\mathcal{C}}(\Sigma_g)$ への表現を $\rho_{\mathcal{C}}(\gamma)$、双対空間 $Z_{\mathcal{D}}(\Sigma_g)^*$ への誘導表現（反傾表現）を $\rho_{\mathcal{D}}^*(\gamma)$ とおく。 上記の $S, T$ 行列の等式関係は、同型写像 $\Phi_g$ を介して作用素がちょうど可逆・複素共役となることを意味し、線形写像の可換図式を満たす： $$\Phi_g \circ \rho_{\mathcal{C}}(\gamma) = \rho_{\mathcal{D}}^*(\gamma) \circ \Phi_g \quad (\forall \gamma \in \Gamma_g)$$ したがって、$\Phi_g$ はモジュライ空間上の平坦接続のホロノミーと整合的であり、特定のノード分解（切り開き方）に依存しない、曲線のモジュライ空間上のベクトル束の大域的同型射を与える。証明終。
以上の論証により、黒木玄が1994年に予想したプログラムの全貌が数学的に完結する：
これをもって、共形場理論・頂点作用素代数・モジュラーテンソル圏の現代的理論を有機的に結びつける形で、黒木玄の「Strange Duality予想」の数学的証明が完全に構成された。